2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Автор:
Ana Cavalcanti
, Автор:
David Deharbe
, Автор:
Marie-Claude Gaudel
, Автор:
Jim Woodcock
Категория:
Компьютеры
Размер книги: 4.56 Mb
Formal Methods and Hybrid Real-Time Systems
Автор:
Cliff B. Jones
, Автор:
Zhiming Liu
, Автор:
Jim Woodcock
Размер книги: 6.60 Mb
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
Автор:
Cliff B. Jones
, Автор:
Zhiming Liu
, Автор:
Jim Woodcock
Размер книги: 7.82 Mb
Using Z.Specification,refinement,and proof
Автор:
Jim Woodcock
, Автор:
Jim Davies
Категория:
Радио
Размер книги: 4.74 Mb
Verified Software: Theories, Tools, Experiments: 1 conf., VSTTE 2005
Автор:
Bertrand Meyer
, Автор:
Jim Woodcock
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 7.65 Mb
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)
Автор:
Marcel Vinícius Medeiros Oliveira
, Автор:
Jim Woodcock
Размер книги: 3.83 Mb
Using Z: Specification, Refinement, and Proof
Автор:
Jim Woodcock
, Автор:
Jim Davies
Категория:
Cs_Computer science
,
CsPl_Programming languages
Размер книги: 1.24 Mb
Formal Methods: foundations and Applications, 12 conf., SBMF2009
Автор:
Marcel Vinícius Medeiros Oliveira
, Автор:
Jim Woodcock
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.55 Mb
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Автор:
Jin Song Dong
, Автор:
Jim Woodcock
Размер книги: 5.79 Mb
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Автор:
Chris George
, Автор:
Zhiming Liu
, Автор:
Jim Woodcock
Размер книги: 1.86 Mb
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Автор:
Cliff B. Jones
, Автор:
Zhiming Liu
, Автор:
Jim Woodcock
Размер книги: 5.37 Mb
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December
Автор:
Ana Cavalcanti
, Автор:
Augusto Sampaio
, Автор:
Jim Woodcock
Размер книги: 3.00 Mb
